23.93/24.03	unsat
