18.86/19.52	unsat
