3.84/3.86	unsat
