0.19/0.77	unsat
