19.14/23.26	unsat
