23.90/24.03	unsat
