18.86/19.14	unsat
