0.32/0.56	unsat
