0.19/0.60	unsat
