6.77/11.51	unsat
