23.16/27.49	unsat
