23.98/24.03	unsat
