23.17/24.08	unsat
