31.44/31.59	unsat
