4.78/6.75	unsat
