23.46/25.59	unsat
