23.45/24.06	unsat
