27.43/27.56	unsat
