18.86/20.83	unsat
