23.46/27.38	unsat
