23.96/24.03	unsat
