5.41/6.75	unsat
