29.86/30.00	unsat
