30.68/31.79	unsat
