28.13/30.30	unsat
