25.85/30.29	unsat
