28.19/28.31	unsat
