6.77/8.43	unsat
