23.16/25.23	unsat
