30.62/31.71	unsat
