0.29/0.56	unsat
