0.50/0.54	unsat
