18.46/19.14	unsat
