30.55/31.98	unsat
