30.08/31.95	unsat
