30.75/31.13	unsat
