5.77/6.68	unsat
