3.67/3.79	unsat
