20.83/23.66	unsat
