30.90/31.00	unsat
