7.44/7.68	unsat
