18.96/23.13	unsat
