30.89/31.02	unsat
