3.78/7.86	unsat
