30.94/31.07	unsat
