27.17/27.56	unsat
