0.30/0.38	unsat
