3.69/3.70	unsat
