4.48/6.75	unsat
