28.04/28.42	unsat
