17.86/21.69	unsat
