27.55/28.29	unsat
