18.86/19.20	unsat
