23.84/26.48	unsat
