0.50/0.56	unsat
