8.86/12.64	unsat
