19.97/24.03	unsat
