28.24/28.30	unsat
