19.86/21.75	unsat
