6.79/11.96	unsat
