0.53/0.67	unsat
