19.56/23.16	unsat
