0.60/0.79	unsat
