30.20/33.03	unsat
