31.63/31.79	unsat
