3.68/3.70	unsat
