15.42/19.24	unsat
