3.68/3.79	unsat
