0.30/0.54	unsat
