23.35/25.03	unsat
