31.64/31.71	unsat
