30.94/31.97	unsat
