30.55/31.91	unsat
