28.26/28.30	unsat
