30.55/31.63	unsat
