19.86/20.25	unsat
