5.09/6.75	unsat
