23.64/23.79	unsat
