4.76/7.75	unsat
