0.19/0.54	unsat
