27.04/27.19	unsat
