23.80/27.62	unsat
