19.37/23.16	unsat
