28.15/28.45	unsat
