18.75/19.43	unsat
