17.86/21.10	unsat
