27.03/27.19	unsat
