227.67/228.29	unsat
