28.92/30.11	unsat
