6.77/7.37	unsat
