5.22/7.68	unsat
