23.81/27.26	unsat
