24.81/27.41	unsat
