6.77/7.32	unsat
