19.92/23.13	unsat
